<?php

// this contains the application parameters that can be maintained via GUI
return array(
	'session_timeout'=> $sessionTimeout,
);

?>